A Software Interface Between the Narrative Language and Bio-PEPA
نویسندگان
چکیده
منابع مشابه
A Software Interface Between the Narrative Language and Bio-PEPA
We present a software tool for the automatic translation of models from the Narrative Language, a semiformal language for biological modelling, into the Bio-PEPA process algebra. This provides biologists with an easy way to describe systems and at the same time gives them access to the simulation and analysis techniques provided by Bio-PEPA. We present details of the translation algorithm and i...
متن کاملthe relationship between language and social capital in ilami kurdish: a sociopragmatic approach
چکیده زبان به عنوان یک وسیله در ایجاد و بازسازی سرمایه اجتماعی در چند دهه گذشته مورد توجه بوده است. اگر چه درباره سرمایه اجتماعی و سازه های مربوط به آن زیاد نوشته شده است ولی خیلی کم بر روی اینکه چطور زبان می تواند باعث ایجاد اعتماد یا بی اعتمادی بشود مطالعه ای انجام شده است. این مطالعه به منظور تحقق دو هدف انجام گرفته است. اول تلاش خواهد شد تا یک گونه شناسی از واژگانی که مردم کرد زبان شهر ا...
15 صفحه اولinvestigating the relationship between creativity and performance in written narrative tasks
با بکارگیری کوریلیشن و آنوا در قسمت اول و تی تست در قسمت دوم آنالیز داده ها انجام گردیدکه نهایتا رابطه بین برخی فاکتورهای خلاقیت و نوشتار یافت شد
15 صفحه اولthe investigation of the relationship between type a and type b personalities and quality of translation
چکیده ندارد.
Bio-PEPA with Events
In this work we present an extension of Bio-PEPA, a language recently defined for the modelling and analysis of biochemical systems, to handle events. Events are constructs that represent changes in the system due to some trigger conditions. The events considered here are simple, but nevertheless able to describe most of the discontinuous changes in models and experiments. Events are added to o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2013
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2013.02.018